Complete and model-complete theories of monadic algebras
نویسندگان
چکیده
منابع مشابه
Iteration theories as monadic algebras
Iteration theories, as introduced by Stephen Bloom and Zoltán Ésik, are Lawvere theories equipped with a function assigning to every morphism e : n → n + k (representing a system of n recursive equations whose left-hand sides are variables and right-hand sides are terms in those n variables and k parameters) a morphism e† : n → k (representing a solution of those equations). This function is re...
متن کاملGeneralized Indiscernibles as Model-complete Theories
We define a mild generalization of classical Fraïssé classes, and in this context, we recover several old (often with novel proofs) and new facts about Ramsey classes and generalized indiscernibles in the sense of [12], [17], and other sources. Of particular novelty are: (1) a new and clearly model-theoretic proof of the equivalence of the Ramsey property and the extreme amenability of the auto...
متن کاملModels of Complete Theories
The semantical concepts, such as satisfaction, truth, and model, form the subject matter of a field known as the theory of models. I am going to discuss today several related recent developments in this field. They all lie in one particular area which is indicated by the title and which will be described more fully in a moment. However, some introductory and side remarks I shall make may also s...
متن کاملMonadic Second-Order Unification Is NP-Complete
Monadic Second-Order Unification (MSOU) is Second-Order Unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding whether a set of monadic equations has a unifier is NP-complete. We also prove that Monadic Second-Order Matching is also NP-complete.
متن کاملComplete Quotient Boolean Algebras
For I a proper, countably complete ideal on P(X) for some set X , can the quotient Boolean algebra P(X)/I be complete? This question was raised by Sikorski [Si] in 1949. By a simple projection argument as for measurable cardinals, it can be assumed that X is an uncountable cardinal κ, and that I is a κ-complete ideal on P(κ) containing all singletons. In this paper we provide consequences from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 1976
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm-34-2-183-190